More from this Author
Found 7 books by Klaus Havelund (Editor)
NASA -- Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Erika Ábrahám (Editor), Klaus Havelund (Editor)
Model Checking Software
by Klaus Havelund (Editor), Rupak Majumdar (Editor), Jens Palsberg (Editor)
Formal Methods
by Klaus Havelund (Editor), Jan Peleska (Editor), Bill Roscoe (Editor), Eric de Vink (Editor)
NASA Formal Methods
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by Erika Abraham (Editor), Klaus Havelund (Editor)
NASA Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)